python debugging symbols